Fix font size when gdk_x11_display_set_window_scale() is used
authorOwen W. Taylor <otaylor@fishsoup.net>
Wed, 5 Mar 2014 20:42:38 +0000 (15:42 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 7 Mar 2014 04:20:00 +0000 (23:20 -0500)
commit99ac2f5c49bdb51bd3ad28c0824089f22d97b580
treea336cab9a61d0490eb7548cc01b6afa5ad0ef7ab
parent43b0eee81d04499e4a72085d88d352a43bbb293b
Fix font size when gdk_x11_display_set_window_scale() is used

We have a hack in the XSETTINGS code to substitute gtk-xft-dpi
with gdk-unscaled-dpi unless the screen has a fixed window scale,
in which case we just use gtk-xft-dpi.

But if the screen is changed to have a fixed window scale, then
the substituted value of gdk-unscaled-dpi will stick around until
the next (coincidental) change to XSETTINGS. To fix this, force
an immediate reread of the XSETTINGS property when
gdk_x11_display_set_window_scale() is used.

https://bugzilla.gnome.org/show_bug.cgi?id=725754
gdk/x11/gdkdisplay-x11.c
gdk/x11/xsettings-client.c
gdk/x11/xsettings-client.h